Representing Flexible Temporal Behaviors in the Situation Calculus
نویسندگان
چکیده
In this paper we present an approach to representing and managing temporally-flexible behaviors in the Situation Calculus based on a model of time and concurrent situations. We define a new hybrid framework combining temporal constraint reasoning and reasoning about actions. We show that the Constraint Based Interval Planning approach can be imported into the Situation Calculus by defining a temporal and concurrent extension of the basic action theory. Finally, we provide a version of the Golog interpreter suitable for managing flexible plans on multiple timelines.
منابع مشابه
Flexible Interval Planning in Concurrent Temporal Golog
In this paper we present an approach to flexible planning and scheduling based on a suitable mapping of the Constraint Based Interval Planning paradigm [7, 2] into the Situation Calculus. We show how this representation is particular suitable for executive control processes, and illustrate this with an example.
متن کاملExploiting Qualitative Spatial Neighborhoods in the Situation Calculus
We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segment based calculus, the dipole calculus and necessary extensions for representing navigational concepts like turn right. We investigate how its conceptual neighborhood structure can be applied in the situation calculus for reaso...
متن کاملTemporal Representation and Reasoning
This book is about representing knowledge in all its various forms. Yet, whatever phenomenon we aim to represent, be it natural, computational, or abstract, it is unlikely to be static. The natural world is always decaying or evolving. Thus, computational processes, by their nature, are dynamic, and most abstract notions, if they are to be useful, are likely to incorporate change. Consequently,...
متن کاملA Causal Approach for Modelling Spatial Dynamics∗ A Preliminary Report
We propose a causal approach, involving events identified by their causes and effects, for the modelling of spatial dynamics. The suitability of situation calculus as a high-level formalism for representing and reasoning about spatial dynamics is explored and the causal framework is formalised using the same. A systematic illustration of the manner in which various aspects of axiomatic qualitat...
متن کاملSituation Calculus Based Programs for Representing and Reasoning about Game Structures
A wide range of problems, from contingent and multiagent planning to process/service orchestration, can be viewed as games. In many of these, it is natural to specify the possible behaviors procedurally. In this paper, we develop a logical framework for specifying these types of problems/games based on the situation calculus and ConGolog. The framework incorporates gametheoretic path quantifier...
متن کامل